Time-awareness and Proactivity in Models of Interactive Computation
نویسندگان
چکیده
The paper discusses explicit properties and the requirements that are to be verified, imposed upon software-intensive systems by their environment and by their users. Those systems are time-critical, may contain autonomous components, and may exhibit proactive behaviour. It is suggested that the analysis and verification of properties in software-intensive systems requires time-aware model of interactive computation. The authors of this paper claim that hitherto used time interpretation in computer science is too simplified, and several simultaneously maintained independent time counting systems is a necessary precondition for timing analysis of interactions. A feature space for comparing the existing approaches to interactive computing is suggested, and a potential candidate for time-aware model of interactive computation is discussed.
منابع مشابه
Mathematical Modeling of Gas Adsorption Processes in Packed Bed: The Role of Numerical Methods on Computation Time
Rigorous mathematical modeling of adsorption processes in packed beds involves time-consuming computations which are considered as the fundamental weakness of such thorough mathematical models. Thus, reducing the computation time was a key factor in improving adsorption mathematical models. In order to achieve this goal, an attempt was made to know how much using different numerical methods inf...
متن کاملProbit and nested logit models based on fuzzy measure
Inspired by the interactive discrete choice logit models [Aggarwal, 2019], this paper presents the advanced families of discrete choice models, such as nested logit, mixed logit, and probit models to consider the interaction among the attributes. Besides the DM's attitudinal character is also taken into consideration in the computation of choice probabilities. The proposed choice models make us...
متن کاملThe Effect of Metapragmatic Awareness, Interactive Translation, and Discussion through Video-Enhanced Input on EFL Learners’ Comprehension of Implicature
It is substantiated that particular features of pragmatics are teachable, and instruction is both necessary and effective. Determining what kind of intervention is most effectual for facilitating learners’ pragmatic development has been a central issue for researchers. To respond to the inconclusive findings in intervention studies and to extend the instructional studies in L2 pragmatics to les...
متن کاملThe effect of leader motivational language on employee proactivity in Bouali Sina Petrochemical Co.
The present study aimed to investigate the effect of the leader's motivational language on employee pro-activity with the mediating role of psychological meaningfulness of job and organizational vitality of the individuals. This research was an applied research in terms of practical purpose, and descriptive-correlation in terms of data collection and it was a type of quantitative research. The ...
متن کاملOccupational Calling: Antecedents, Consequences and Mechanism
Occupational calling is a transcendent summons that originates externally to carry out a particular life role (work) in a manner that demonstrates meaningfulness and holds other-oriented values and goals as the main sources of motivation. The aim of the current study is to advance the study of individual differences in achieving occupational calling at workplace. Every individual varies in the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 141 شماره
صفحات -
تاریخ انتشار 2005